A posteriori convergence in complete Boolean algebras with the sequential topology

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Complete Ccc Boolean Algebras, the Order Sequential Topology, and a Problem of Von Neumann

Let B be a complete ccc Boolean algebra and let τs be the topology on B induced by the algebraic convergence of sequences in B. 1. Either there exists a Maharam submeasure on B or every nonempty open set in (B, τs) is topologically dense. 2. It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure. 3. The topological space (B, τ...

متن کامل

Boolean Algebras in Algebraic Topology

The appearance of the complete Heyting algebra in the realm of Algebraic Topology is the main topic of the paper.

متن کامل

Some Forcing Related Convergence Structures on Complete Boolean Algebras

Let convergences λi : B → P (B), i ≤ 4, on a complete Boolean algebra B be defined in the following way. For a sequence x = 〈xn : n ∈ ω〉 in B and the corresponding B-name for a subset of ω, τx = {〈ň, xn〉 : n ∈ ω}, let λi(x) = { {‖τx is infinite‖} if bi(x) = 1B, ∅ otherwise, where b1(x) = ‖τx is finite or cofinite‖, b2(x) = ‖τx is not unsupported‖, b3(x) = ‖τx is not a splitting real‖ and b4(x) ...

متن کامل

Complete Ccc Boolean Algebras

Let B be a complete ccc Boolean algebra and let τs be the topology on B induced by the algebraic convergence of sequences in B. 1. Either there exists a Maharam submeasure on B or every nonempty open set in (B, τs) is topologically dense. 2. It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure. 3. The topological space (B, τ...

متن کامل

Complete Quotient Boolean Algebras

For I a proper, countably complete ideal on P(X) for some set X , can the quotient Boolean algebra P(X)/I be complete? This question was raised by Sikorski [Si] in 1949. By a simple projection argument as for measurable cardinals, it can be assumed that X is an uncountable cardinal κ, and that I is a κ-complete ideal on P(κ) containing all singletons. In this paper we provide consequences from ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Pure and Applied Logic

سال: 2007

ISSN: 0168-0072

DOI: 10.1016/j.apal.2007.05.002